منابع مشابه
Hypergraph Acyclicity and Propositional Model Counting
We show that the propositional model counting problem #SAT for CNFformulas with hypergraphs that allow a disjoint branches decomposition can be solved in polynomial time. We show that this class of hypergraphs is incomparable to hypergraphs of bounded incidence cliquewidth which were the biggest class of hypergraphs for which #SAT was known to be solvable in polynomial time so far. Furthermore,...
متن کاملOne-inclusion hypergraph density revisited
In this paper, we show that the density of the one-inclusion hypergraph induced by a family of multi-valued functions is bounded by the pseudo-dimension of this family. (The original proof for this fact, that has been published quite recently, makes use of a wrong claim.) We show furthermore that the well-known graph-dimension is another upper bound on the density (which solves an open problem ...
متن کاملSet Cover Revisited: Hypergraph Cover with Hard Capacities
In this paper, we consider generalizations of classical covering problems to handle hard capacities. In the hard capacitated set cover problem, additionally each set has a covering capacity which we are not allowed to exceed. In other words, after picking a set, we may cover at most a specified number of elements. Based on the classical results by Wolsey, an O(log n) approximation follows for t...
متن کاملAcyclicity and reduction
The literature provides dichotomies involving homomorphisms (like the G0 dichotomy) or reductions (like the characterization of sets potentially in a Wadge class of Borel sets, which holds on a subset of a product). However, part of the motivation behind the latter result was to get reductions on the whole product, like in the classical notion of Borel reducibility considered in the study of an...
متن کاملAcyclicity in Three-manifolds
An acyclic compactum in an orientable, open 3-manifold has arbitrarily close, polyhedral neighborhoods whose components are compact 3-manifolds with a special structure. Frequently, these 3-manifolds have free fundamental groups. These observations and some results from combinatorial group theory are exploited to deduce facts about the homomorphism of fundamental groups induced by an acyclic ma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Computing Surveys
سال: 2016
ISSN: 0360-0300,1557-7341
DOI: 10.1145/2983573